- flags specific for the backend html/man
authorStefano Zacchiroli <zack@debian.org>
Mon, 27 Aug 2007 13:18:18 +0000 (13:18 +0000)
committerStefano Zacchiroli <zack@debian.org>
Mon, 27 Aug 2007 13:18:18 +0000 (13:18 +0000)
commitcb86293887781152dfef26b21bc9829eb1c96b94
tree0a4274a55fca06683ceee44a5c07b415ea684250
parente6e485ddc3eede5df57d7af64f27b43c4b5434a1
- flags specific for the backend html/man
- preliminary support for manpage generation
debian/cdbs/ocaml-vars.mk
debian/cdbs/ocaml.mk